Space operator[](int n)
Returns the nth component space of a cartesian product space. Indexing is zero-based.
int CPSpaceSize(void)
Returns the number of component spaces in a cartesian product space. Simple spaces return 1.